$\forall$$a$, $b$, $n$:$\mathbb{Z}$. (($a$+$n$) $<$ ($b$+$n$)) $\Rightarrow$ ($a$ $<$ $b$)